home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / lisp / eulisp / feel0_89.lha / Feel / Src / i860-diffs < prev    next >
Text File  |  1992-06-05  |  4KB  |  196 lines
  1. *** system.c    Tue Feb 11 20:12:41 1992
  2. --- ../system.c    Tue Mar 24 14:11:30 1992
  3. ***************
  4. *** 353,360 ****
  5. --- 353,433 ----
  6.   int shared_ids[MAX_SHARED_SEGMENTS];
  7.   int shared_segment_count;
  8.   
  9. + #if 1
  10. + #include <errno.h>
  11. + #define MAX_SHARED_PAGE_SZ 1024*1024
  12. + #define PAGE_BOUNDARY 4096
  13.   char *system_malloc(int n)
  14.   {
  15. +   char *alloc_memory_block(int size);
  16. +   char *addr=0;
  17. +   int k=0;
  18. +   int left=n;
  19. + 
  20. +   if (n==0)
  21. +     return NULL;
  22. + 
  23. +   while (left > MAX_SHARED_PAGE_SZ || addr==0)
  24. +     {
  25. +       if (addr==0)
  26. +     addr=alloc_memory_block(MAX_SHARED_PAGE_SZ);
  27. +       else 
  28. +     alloc_memory_block(MAX_SHARED_PAGE_SZ);
  29. +       left -=MAX_SHARED_PAGE_SZ;
  30. +     }
  31. +   if (left>0)
  32. +     alloc_memory_block(left);
  33. +   return addr;
  34. + }
  35. + 
  36. + char *alloc_memory_block(int size)
  37. + {
  38. +   static int id=0;
  39. +   char *addr;
  40. +   int res;
  41. + 
  42. +   if (id==0)
  43. +     id=25;
  44. +   printf("alloc: %d %d\n",id,size);
  45. + 
  46. +   if (size==0)
  47. +     return NULL;
  48. + 
  49. +   if ((size&4095))
  50. +     size=(size+4096)&(~4095);
  51. + 
  52. +   addr=sbrk(0);
  53. +   if (((int)addr&4095))
  54. +     addr= (char *)(((int)addr+4096)&(~4095));
  55. + 
  56. +   if (brk(addr+size)==-1)
  57. +     perror("Brk");
  58. +   printf("allocating: %x,%x\n",addr,size);
  59. +   do
  60. +     {
  61. +       extern volatile int errno;
  62. +       errno=0;
  63. +       id++;
  64. +       res=create_shared_region(id,addr,size,0);
  65. +       if (res<0)
  66. +     perror("create");
  67. +     }
  68. +   while (res==-1 && errno==EINVAL);
  69. + 
  70. +   if (res== -1)
  71. +     perror("create");
  72. +   shared_ids[shared_segment_count] = id;
  73. + 
  74. +   ++shared_segment_count;  
  75. +   id++;
  76. +   
  77. +   return addr;
  78. + }
  79. + 
  80. + 
  81. + #else
  82. + char *system_malloc(int n)
  83. + {
  84.     int seg;
  85.     char *addr;
  86.   
  87. ***************
  88. *** 379,385 ****
  89.   
  90.     return(addr);
  91.   }
  92. ! 
  93.   /* Of static shared bits (assumes serial for now)... */
  94.   
  95.   #define STATIC_MALLOC_HUNK_SIZE (4096)
  96. --- 452,458 ----
  97.   
  98.     return(addr);
  99.   }
  100. ! #endif
  101.   /* Of static shared bits (assumes serial for now)... */
  102.   
  103.   #define STATIC_MALLOC_HUNK_SIZE (4096)
  104. ***************
  105. *** 499,510 ****
  106.   
  107.     fprintf(stderr,"\n\nAborting EuLisp on signal %d... ",sig);
  108.   
  109.     for (i=0;i<shared_segment_count;++i) {
  110.       (void) shmctl(shared_ids[i],IPC_RMID,NULL);
  111.     }
  112. ! 
  113. !   (void) semctl(system_semaphore,NULL,IPC_RMID,NULL);
  114. ! 
  115.     /* Kill of other processes too */
  116.   
  117.     for (i=0; i<RUNNING_PROCESSORS(); ++i)
  118. --- 572,586 ----
  119.   
  120.     fprintf(stderr,"\n\nAborting EuLisp on signal %d... ",sig);
  121.   
  122. + 
  123. + #if 1
  124. +   for (i=0; i<shared_segment_count ; i++)
  125. +     delete_shared_region(shared_ids[i]);
  126. + #else
  127.     for (i=0;i<shared_segment_count;++i) {
  128.       (void) shmctl(shared_ids[i],IPC_RMID,NULL);
  129.     }
  130. ! #endif
  131.     /* Kill of other processes too */
  132.   
  133.     for (i=0; i<RUNNING_PROCESSORS(); ++i)
  134. ***************
  135. *** 522,535 ****
  136.   
  137.   void system_lisp_exit(int n)
  138.   {
  139. !   int i;
  140. ! 
  141.     for (i=0;i<shared_segment_count;++i) {
  142.       (void) shmctl(shared_ids[i],IPC_RMID,NULL);
  143.     }
  144. - 
  145.     (void) semctl(system_semaphore,NULL,IPC_RMID,NULL);
  146.   
  147.     /* Kill of other processes too */
  148.   
  149.     for (i=0; i<RUNNING_PROCESSORS(); ++i)
  150. --- 598,614 ----
  151.   
  152.   void system_lisp_exit(int n)
  153.   {
  154. !    int i;
  155. ! #if 1
  156. !   for (i=0; i<shared_segment_count ; i++)
  157. !     delete_shared_region(shared_ids[i]);
  158. ! #else
  159.     for (i=0;i<shared_segment_count;++i) {
  160.       (void) shmctl(shared_ids[i],IPC_RMID,NULL);
  161.     }
  162.     (void) semctl(system_semaphore,NULL,IPC_RMID,NULL);
  163.   
  164. + #endif
  165.     /* Kill of other processes too */
  166.   
  167.     for (i=0; i<RUNNING_PROCESSORS(); ++i)
  168. ***************
  169. *** 591,597 ****
  170.         sigset(KICK_SIGNAL,system_nout);
  171.         (void) sighold(KICK_SIGNAL);
  172.   
  173. !       PROFILE(printf("PVAL:%x\n",PROFILE_TIME(system_local_timer)));
  174.         fflush(stdout);
  175.         return(error);
  176.       }
  177. --- 670,676 ----
  178.         sigset(KICK_SIGNAL,system_nout);
  179.         (void) sighold(KICK_SIGNAL);
  180.   
  181. !       /**PROFILE(printf("PVAL:%x\n",PROFILE_TIME(system_local_timer)));**/
  182.         fflush(stdout);
  183.         return(error);
  184.       }
  185. ***************
  186. *** 609,616 ****
  187.       if (i != system_scheduler_number)
  188.         kill(SYSTEM_GLOBAL_ARRAY1_VALUE(system_pids,i),KICK_SIGNAL);
  189.   }
  190. - 
  191. - DEF_PROFILE_TIMER(system_local_timer);
  192.   
  193.   void system_register_process(int n)
  194.   {
  195. --- 688,693 ----
  196.